- неразрешимое утверждение
- нерозв'я́зне тве́рдження
Русско-украинский политехнический словарь. 2013.
неразрешимое утверждение
Смотреть что такое "неразрешимое утверждение" в других словарях:
Открытые математические проблемы — Открытые (нерешённые) математические проблемы проблемы, которые рассматривались математиками, но до сих пор не решены. Часто имеют форму гипотез, которые предположительно верны, но нуждаются в доказательстве. В научном мире популярна… … Википедия
Теоремы Гёделя о неполноте — Теоремы Гёделя о неполноте две теоремы математической логики о принципиальных ограничениях формальной арифметики и, как следствие, всякой достаточно сильной[1] теории первого порядка. Первая теорема утверждает, что если формальная… … Википедия
ИНТУИЦИОНИЗМ — (от позднелат. intuitio, от лат. intueor пристально смотрю) направление в обосновании математики и логики, согласно которому конечным критерием приемлемости методов и результатов этих наук является наглядно содержательная интуиция. Вся математика … Философская энциклопедия
Гегель Георг — Жизненный путь Георг Вильгельм Фридрих Гегель родился в Штутгарте в 1770 г. Его отец был государственным чиновником, и доходы позволяли дать сыну высшее образование. В местной гимназии Гегель изучал греческую и латинскую классику. С годами… … Западная философия от истоков до наших дней
Существование перечислимого неразрешимого множества — В данной статье будет доказан теорема о существовании перечислимого, но неразрешимого множества. Напомню, что по теореме Поста перечислимое множества разрешимо тогда и только тогда, когда его дополнение перечислимо.Основные определения, такие как … Википедия
Теорема Гёделя о неполноте — У этого термина существуют и другие значения, см. Теорема Гёделя. Теорема Гёделя о неполноте и вторая теорема Гёделя[ 1] две теоремы математической логики о принципиальных ограничениях формальной арифметики и, как следствие, всякой… … Википедия
МАТЕМАТИКИ ИСТОРИЯ — Самой древней математической деятельностью был счет. Счет был необходим, чтобы следить за поголовьем скота и вести торговлю. Некоторые первобытные племена подсчитывали количество предметов, сопоставляя им различные части тела, главным образом… … Энциклопедия Кольера
ГЁДЕЛЯ ТЕОРЕМА О НЕПОЛНОТЕ — общее название двух теорем, установленных К. Гёделем [1]. Первая Г. т. о н. утверждает, что в любой непротиворечивой формальной системе, содержащей минимум арифметики ( знаки и обычные правила обращения с ними), найдется формально неразрешимое… … Математическая энциклопедия
ГЁДЕЛЬ — (Gödel) Курт (1906 1978) математик и логик, член Национальной Академии наук США и Американского философского общества, автор фундаментального открытия ограниченности аксиоматического метода и основополагающих работ в таких направлениях… … История Философии: Энциклопедия
Речь ораторская — разновидность публичной речи, противополагаемой функционально и структурно речи разговорной, частному, «бытовому» общению. В противоположность разговорной речи обмену более или менее несложными и короткими репликами (отдельными фрагментарными… … Литературная энциклопедия
ПРОТИВОРЕЧИЕ — два высказывания, из которых одно является отрицанием другого. Напр.: «Латунь химический элемент» и «Латунь не является химическим элементом», «2 простое число» и «2 не является простым числом». В одном из противоречащих высказываний что то… … Философская энциклопедия
